From ab09ffaa8cd38380f455ea51acf2474d0d31aad5 Mon Sep 17 00:00:00 2001 From: Matthias Clasen Date: Mon, 17 Aug 2015 01:36:37 -0400 Subject: [PATCH] gtk-demo: Use top/bottom-margin for text views This lets us replace the hack of inserting tags in the first and last paragraph to set a above/below-paragraph space. --- demos/gtk-demo/main.c | 34 ++-------------------------------- demos/gtk-demo/main.ui | 4 ++++ 2 files changed, 6 insertions(+), 32 deletions(-) diff --git a/demos/gtk-demo/main.c b/demos/gtk-demo/main.c index ea47c8892f..f7dc2e3bcf 100644 --- a/demos/gtk-demo/main.c +++ b/demos/gtk-demo/main.c @@ -781,41 +781,9 @@ load_file (const gchar *demoname, fontify (source_buffer); - gtk_text_buffer_create_tag (source_buffer, "top-margin", - "pixels-above-lines", 20, - NULL); - gtk_text_buffer_get_start_iter (source_buffer, &start); - end = start; - gtk_text_iter_forward_word_end (&end); - gtk_text_buffer_apply_tag_by_name (source_buffer, "top-margin", &start, &end); - - gtk_text_buffer_create_tag (source_buffer, "bottom-margin", - "pixels-below-lines", 20, - NULL); - gtk_text_buffer_get_end_iter (source_buffer, &end); - start = end; - gtk_text_iter_backward_word_start (&start); - gtk_text_buffer_apply_tag_by_name (source_buffer, "bottom-margin", &start, &end); - gtk_text_view_set_buffer (GTK_TEXT_VIEW (source_view), source_buffer); g_object_unref (source_buffer); - gtk_text_buffer_create_tag (info_buffer, "top-margin", - "pixels-above-lines", 20, - NULL); - gtk_text_buffer_get_start_iter (info_buffer, &start); - end = start; - gtk_text_iter_forward_word_end (&end); - gtk_text_buffer_apply_tag_by_name (info_buffer, "top-margin", &start, &end); - - gtk_text_buffer_create_tag (info_buffer, "bottom-margin", - "pixels-below-lines", 20, - NULL); - gtk_text_buffer_get_end_iter (info_buffer, &end); - start = end; - gtk_text_iter_backward_word_start (&start); - gtk_text_buffer_apply_tag_by_name (info_buffer, "bottom-margin", &start, &end); - gtk_text_view_set_buffer (GTK_TEXT_VIEW (info_view), info_buffer); g_object_unref (info_buffer); } @@ -866,6 +834,8 @@ create_text (GtkWidget **view, g_object_set (text_view, "left-margin", 20, "right-margin", 20, + "top-margin", 20, + "bottom-margin", 20, NULL); gtk_text_view_set_editable (GTK_TEXT_VIEW (text_view), FALSE); diff --git a/demos/gtk-demo/main.ui b/demos/gtk-demo/main.ui index ebdb9cd872..5abb251b58 100644 --- a/demos/gtk-demo/main.ui +++ b/demos/gtk-demo/main.ui @@ -135,6 +135,8 @@ True 20 20 + 20 + 20 2 2 False @@ -170,6 +172,8 @@ True 20 20 + 20 + 20 False False -- 2.30.2